In recreational mathematics, a repunit is a number like 11, 111, or 1111 that contains only the digit 1. The term stands for repeated unit and was coined in 1966 by Albert H. Beiler. A repunit prime is a repunit that is also a prime number.
Contents |
The base-b repunits are defined as
Thus, the number Rn(b) consists of n copies of the digit 1 in base b representation. The first two repunits base b for n=1 and n=2 are
In particular, the decimal (base-10) repunits that are often referred to as simply repunits are defined as
Thus, the number Rn = Rn(10) consists of n copies of the digit 1 in base 10 representation. The sequence of repunits base 10 starts with
Similarly, the repunits base 2 are defined as
Thus, the number Rn(2) consists of n copies of the digit 1 in base 2 representation. In fact, the base-2 repunits are the well-respected Mersenne numbers Mn = 2n − 1.
|
|
The definition of repunits was motivated by recreational mathematicians looking for prime factors of such numbers.
It is easy to show that if n is divisible by a, then Rn(b) is divisible by Ra(b):
where is the cyclotomic polynomial and d ranges over the divisors of n. For p prime, , which has the expected form of a repunit when x is substituted with b.
For example, 9 is divisible by 3, and thus R9 is divisible by R3—in fact, 111111111 = 111 · 1001001. The corresponding cyclotomic polynomials and are and respectively. Thus, for Rn to be prime n must necessarily be prime. But it is not sufficient for n to be prime; for example, R3 = 111 = 3 · 37 is not prime. Except for this case of R3, p can only divide Rn for prime n if p = 2kn + 1 for some k.
Rn is prime for n = 2, 19, 23, 317, 1031,... (sequence A004023 in OEIS). R49081 and R86453 are probably prime. On April 3, 2007 Harvey Dubner (who also found R49081) announced that R109297 is a probable prime.[2] He later announced there are no others from R86453 to R200000.[3] On July 15, 2007 Maksym Voznyy announced R270343 to be probably prime,[4] along with his intent to search to 400000. As of September 2010, all further candidates up to R1300000 have been tested, but no new probable primes have been found so far.
It has been conjectured that there are infinitely many repunit primes[5] and they seem to occur roughly as often as the prime number theorem would predict: the exponent of the Nth repunit prime is generally around a fixed multiple of the exponent of the (N-1)th.
The prime repunits are a trivial subset of the permutable primes, i.e., primes that remain prime after any permutation of their digits.
Base-2 repunit primes are called Mersenne primes.
The first few base-3 repunit primes are
corresponding to of
The only base-4 repunit prime is 5 (). , and 3 always divides when n is odd and when n is even. For n greater than 2, both and are greater than 3, so removing the factor of 3 still leaves two factors greater than 1, so the number cannot be prime.
The first few base-5 (quinary) repunit primes are
corresponding to of
The first few base-6 repunit primes are
corresponding to of
The first few base 7 repunit primes are
corresponding to of
The only base-8 or base-9 repunit prime is 73 (). , and 7 divides when n is not divisible by 3 and when n is a multiple of 3. , and 2 always divides both and .
The only known vigesimal (base 20) repunit primes or probable primes are for of
The first three of these in decimal are
Although they were not then known by that name, repunits in base 10 were studied by many mathematicians during the nineteenth century in an effort to work out and predict the cyclic patterns of recurring decimals.[6]
It was found very early on that for any prime p greater than 5, the period of the decimal expansion of 1/p is equal to the length of the smallest repunit number that is divisible by p. Tables of the period of reciprocal of primes up to 60,000 had been published by 1860 and permitted the factorization by such mathematicians as Reuschle of all repunits up to R16 and many larger ones. By 1880, even R17 had been factored[7] and it is curious that, though Édouard Lucas showed no prime below three million had period nineteen, there was no attempt to test any repunit for primality until early in the twentieth century. The American mathematician Oscar Hoppe proved R19 to be prime in 1916[8] and Lehmer and Kraitchik independently found R23 to be prime in 1929.
Further advances in the study of repunits did not occur until the 1960s, when computers allowed many new factors of repunits to be found and the gaps in earlier tables of prime periods corrected. R317 was found to be a probable prime circa 1966 and was proved prime eleven years later, when R1031 was shown to be the only further possible prime repunit with fewer than ten thousand digits. It was proven prime in 1986, but searches for further prime repunits in the following decade consistently failed. However, there was a major side-development in the field of generalized repunits, which produced a large number of new primes and probable primes.
Since 1999, four further probably prime repunits have been found, but it is unlikely that any of them will be proven prime in the foreseeable future because of their huge size.
The Cunningham project endeavours to document the integer factorizations of (among other numbers) the repunits to base 2, 3, 5, 6, 7, 10, 11, and 12.